Square root meadows

نویسندگان

  • Jan A. Bergstra
  • Inge Bethke
چکیده

Let Q0 denote the rational numbers expanded to a meadow by totalizing inversion such that 0 = 0. Q0 can be expanded by a total sign function s that extracts the sign of a rational number. In this paper we discuss an extension Q0(s, √ ) of the signed rationals in which every number has a unique square root.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Cancellation Meadows: A Generic Basis Theorem and Some Applications

Let Q0 denote the rational numbers expanded to a ‘meadow’, that is, after taking its zero-totalized form (0−1 = 0) as the preferred interpretation. In this paper, we consider ‘cancellation meadows’, i.e. meadows without proper zero divisors, such as Q0 and prove a generic completeness result. We apply this result to cancellation meadows expanded with differentiation operators, the sign function...

متن کامل

ar X iv : 0 90 1 . 46 64 v 1 [ cs . L O ] 2 9 Ja n 20 09 Square root meadows ∗

Let Q0 denote the rational numbers expanded to a meadow by totalizing inversion such that 0 = 0. Q0 can be expanded by a total sign function s that extracts the sign of a rational number. In this paper we discuss an extension Q0(s, √ ) of the signed rationals in which every number has a unique square root.

متن کامل

Diversity and distribution patterns of root-associated fungi on herbaceous plants in alpine meadows of southwestern China.

The diversity of root-associated fungi associated with four ectomycorrhizal herbaceous species, Kobresia capillifolia, Carex parva, Polygonum macrophyllum and Potentilla fallens, collected in three sites of alpine meadows in southwestern China, was estimated based on internal transcribed spacer (ITS) rDNA sequence analysis of root tips. Three hundred seventy-seven fungal sequences sorted to 154...

متن کامل

Sample Size Analyses for Soil Moisture and Root Biomass in Knuthsen Meadow, Carmen Valley, Sierra Nevada Mountains, California July 22-26, 2002

In the effort to determine if hydrologic restoration in Knuthsen Meadow affects root abundance and soil moisture, we gathered preliminary data to determine the optimal experimental design and sample size necessary to detect a 25% increase in root biomass and soil moisture following restoration. We found high variability in root biomass, with upstream meadow reaches having substantially greater ...

متن کامل

Cost/Performance Tradeoff of n-Select Square Root Implementations

Hardware square-root units require large numbers of gates even for iterative implementations. In this paper, we present four low-cost high-performance fullypipelined n-select implementations (nS-Root) based on a non-restoring-remainder square root algorithm. The nSRoot uses a parallel array of carry-save adders (CSAs). For a square root bit calculation, a CSA is used once. This means that the c...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/0901.4664  شماره 

صفحات  -

تاریخ انتشار 2009